Vladimir Herdt
Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Finite Non-Terminating Programs (2016)
By
Vladimir Herdt
Paperback
AED
285
84
AEDĀ 411.00
30% OFF
Turbo
Free Delivery
27 - 28 Nov
Enhanced Virtual Prototyping: Featuring Risc-V Case Studies (2021)
By
Vladimir Herdt
,
Daniel GroĆe
,
Rolf Drechsler
Paperback
AED
478
67
AEDĀ 1,104.00
56% OFF
Free Delivery
29 Nov - 9 Dec
Enhanced Virtual Prototyping: Featuring Risc-V Case Studies (2021)
By
Vladimir Herdt
,
Daniel GroĆe
,
Rolf Drechsler
Hardcover
AED
616
79
AEDĀ 1,335.00
53% OFF
Free Delivery
29 Nov - 9 Dec
Verbessertes Virtuelles Prototyping: Mit Risc-V-Fallstudien (1. Aufl. 2022)
By
Vladimir Herdt
,
Daniel GroĆe
,
Rolf Drechsler
Hardcover
AED
438
02
AEDĀ 623.00
29% OFF
Free Delivery
29 Nov - 9 Dec